منابع مشابه
Logical foundations of CafeOBJ
This paper surveys the logical and mathematical foundations of CafeOBJ, which is a successor of the famous algebraic specification language OBJ but adding several new primitive paradigms such as behavioural concurrent specification and rewriting logic. We first give a concise overview of CafeOBJ. Then we focus on the actual logical foundations of the language at two different levels: basic spec...
متن کاملLogical Foundations of Services
In this paper we consider a logical system of networks of processes that interact in an asynchronous manner by exchanging messages through communication channels. This provides a foundational algebraic framework for service-oriented computing that constitutes a primary factor in defining logical specifications of services, the way models of these specifications capture service orchestrations, a...
متن کاملProbability Logic and Logical Probability
Many writers who entertain the use of subjective probability or credal probability for, among other things, the evaluation of expected values of options in decision problems insist that such credal probability judgments should be determined by the agent’s “available evidence” or “available knowledge”. Notable 20 century examples are H. Jeffreys (1921, 1951), J.M. Keynes (1921), R. Carnap (1950,...
متن کاملLogical Foundations of Syllable Representations
• Differences in notation do not necessarily entail differences in the information encoded in a particular formalism. • Fonts are notationally equivalent, in the sense that cat and cat are the same word. • In contrast, there are meaningful differences between bracket types in mathematical notation: {1, 2} is an unordered set, while (1, 2) is an ordered pair. Research question: are different syl...
متن کاملLogical Foundations of Multilevel Databases
In this paper, we propose a formal model for multilevel databases. This model aims at being a generic model, that is it can be interpreted for any kind of database (relational, object-oriented...). Our model has three layers. The first layer corresponds to a model for a non-protected database. The second layer corresponds to a model for a multilevel database. In this second layer, we propose a ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Nature
سال: 1952
ISSN: 0028-0836,1476-4687
DOI: 10.1038/170507a0